% THIS IS SIGPROC-SP.TEX - VERSION 3.1
% WORKS WITH V3.2SP OF ACM_PROC_ARTICLE-SP.CLS
% APRIL 2009
%
% It is an example file showing how to use the 'acm_proc_article-sp.cls' V3.2SP
% LaTeX2e document class file for Conference Proceedings submissions.
% ----------------------------------------------------------------------------------------------------------------
% This .tex file (and associated .cls V3.2SP) *DOES NOT* produce:
%       1) The Permission Statement
%       2) The Conference (location) Info information
%       3) The Copyright Line with ACM data
%       4) Page numbering
% ---------------------------------------------------------------------------------------------------------------
% It is an example which *does* use the .bib file (from which the .bbl file
% is produced).
% REMEMBER HOWEVER: After having produced the .bbl file,
% and prior to final submission,
% you need to 'insert'  your .bbl file into your source .tex file so as to provide
% ONE 'self-contained' source file.
%
% Questions regarding SIGS should be sent to
% Adrienne Griscti ---> griscti@acm.org
%
% Questions/suggestions regarding the guidelines, .tex and .cls files, etc. to
% Gerald Murray ---> murray@hq.acm.org
%
% For tracking purposes - this is V3.1SP - APRIL 2009

%\documentclass{acm_proc_article-sp}
\documentclass{sig-alternate}
%########################### Begin - Custom Commands ###########################

%\usepackage{latex8}
\usepackage{times}
\usepackage{lineno} % linenumbering, we use it within a figure
\usepackage{verbatim} % linenumbering, we use it within a figure
\usepackage{multirow}
%\usepackage{balance} 
\usepackage{flushend}
\input{macros}

\usepackage{color}
\usepackage{cite}
\usepackage{url}
\usepackage{graphicx} % remove it due to duplication with an existing one
\usepackage{latexsym}
\usepackage{algorithmic}

\usepackage{psfrag}
\usepackage{comment}
\usepackage{lineno}
\usepackage[ruled,vlined]{algorithm2e}
\usepackage{listings}

\lstset{escapeinside={/*@}{@*/}}

\newcommand{\ie}{{\sl i.e.}}
\newcommand{\eg}{{\sl e.g.}}
\newcommand{\etc}{{\sl etc.}}
\newcommand{\etal}{{\sl et al.\ }}


\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{definition}[theorem]{definition}
%\newenvironment{proof}[1][Proof]{\begin{trivlist}

%\newcommand{\FixJeeHyun}[1]{}
\newcommand{\CommentJeeHyun}[1]{}
\newcommand{\review}[1]{#1}
\newcommand{\FixJeeHyun}[1]{#1}


\newcommand*{\authorsFont}{%
      %\usefont{\encodingdefault}{\sffamily(\sf)}{b}{n}%
      \fontsize{12}{12}%
      \selectfont}

\newcommand*{\affiliationsFont}{%
      %\usefont{\encodingdefault}{\sffamily(\sf)}{b}{n}%
      \fontsize{10}{10}%
      \selectfont}
            
%\newcommand{\redbold}[1]{ \textbf{\color{red}{#1}}
%\newcommand{\review}[1]{\color{red}{#1}}
%\newcommand{\FixJeeHyun}[1]{{\large\textbf{FIXJeeHyun}}\color{red}{#1}\color{black}{}{\large\textbf{FIXJeeHyun}}}
%\newcommand{\CommentJeeHyun}[1]{{\large\textbf{COMMENTJeeHyun}}#1{\large\textbf{COMMENTJeeHyun}}}


%\clubpenalty = 10000
%\widowpenalty = 10000
%\displaywidowpenalty = 10000

\begin{document}
\conferenceinfo{ASE}{'12, September 3-7, 2012, Essen, Germany}
\CopyrightYear{2012}
\crdata{978-1-4503-1204-2/12/09}

\title{{Selection of Regression System Tests for Security Policy Evolution}}
%\subtitle{[Extended Abstract]
%\titlenote{A full version of this paper is available as
%\textit{Author's Guide to Preparing ACM SIG Proceedings Using
%\LaTeX$2_\epsilon$\ and BibTeX} at
%\texttt{www.acm.org/eaddress.htm}}}
%
% You need the command \numberofauthors to handle the 'placement
% and alignment' of the authors beneath the title.
%
% For aesthetic reasons, we recommend 'three authors at a time'
% i.e. three 'name/affiliation blocks' be placed beneath the title.
%
% NOTE: You are NOT restricted in how many 'rows' of
% "name/affiliations" may appear. We just ask that you restrict
% the number of 'columns' to three.
%
% Because of the available 'opening page real-estate'
% we ask you to refrain from putting more than six authors
% (two rows with three columns) beneath the article title.
% More than six makes the first-page appear very cluttered indeed.
%
% Use the \alignauthor commands to handle the names
% and affiliations for an 'aesthetic maximum' of six authors.
% Add names, affiliations, addresses for
% the seventh etc. author(s) as the argument for the
% \additionalauthors command.
% These 'additional authors' will be output/set for you
% without further effort on your part as the last section in
% the body of your article BEFORE References or any Appendices.

\numberofauthors{1} %  in this sample file, there are a *total*
% of EIGHT authors. SIX appear on the 'first-page' (for formatting
% reasons) and the remaining two appear in the \additionalauthors section.
%

\author{
\alignauthor
JeeHyun Hwang$^1$ \hspace*{0.1in} Tao Xie$^1$\hspace*{0.1in} Donia El Kateb$^2$ \hspace*{0.1in} Tejeddine Mouelhi$^3$  \hspace*{0.1in} Yves Le Traon$^3$\\
$^1$\affaddr{Department of Computer Science, North Carolina State University, Raleigh, USA}\\
$^2$\affaddr{Laboratory of Advanced Software SYstems (LASSY), University of Luxembourg, Luxembourg}\\
$^3$\affaddr{Security, Reliability and Trust Interdisciplinary Research Center, SnT, University of Luxembourg, Luxembourg}\\
\email{jhwang4@ncsu.edu\hspace*{0.2in}xie@csc.ncsu.edu\hspace*{0.2in}\\\{donia.elkateb,tejeddine.mouelhi,yves.letraon\}@uni.lu}
%\small{\texttt{jhwang4@ncsu.edu}}\hspace*{0.3in}\small{\texttt{xie@csc.ncsu.edu}}\hspace*{0.3in}\small{\texttt{\{donia.elkateb,tejeddine.mouelhi,yves.letraon\}@uni.lu}}\\
}

%\author{
%% You can go ahead and credit any number of authors here,
%% e.g. one 'row of three' or two rows (consisting of one row of three
%% and a second row of one, two or three).
%%
%% The command \alignauthor (no curly braces needed) should
%% precede each author name, affiliation/snail-mail address and
%% e-mail address. Additionally, tag each line of
%% affiliation/address with \affaddr, and tag the
%% e-mail address with \email.
%%
%% 1st. author
%\alignauthor
%Ben Trovato\titlenote{Dr.~Trovato insisted his name be first.}\\
%       \affaddr{Institute for Clarity in Documentation}\\
%       \affaddr{1932 Wallamaloo Lane}\\
%       \affaddr{Wallamaloo, New Zealand}\\
%       \email{trovato@corporation.com}
%% 2nd. author
%\alignauthor
%G.K.M. Tobin\titlenote{The secretary disavows
%any knowledge of this author's actions.}\\
%       \affaddr{Institute for Clarity in Documentation}\\
%       \affaddr{P.O. Box 1212}\\
%       \affaddr{Dublin, Ohio 43017-6221}\\
%       \email{webmaster@marysville-ohio.com}
%% 3rd. author
%\alignauthor Lars Th{\o}rv{\"a}ld\titlenote{This author is the
%one who did all the really hard work.}\\
%       \affaddr{The Th{\o}rv{\"a}ld Group}\\
%       \affaddr{1 Th{\o}rv{\"a}ld Circle}\\
%       \affaddr{Hekla, Iceland}\\
%       \email{larst@affiliation.org}
%\and  % use '\and' if you need 'another row' of author names
%% 4th. author
%\alignauthor Lawrence P. Leipuner\\
%       \affaddr{Brookhaven Laboratories}\\
%       \affaddr{Brookhaven National Lab}\\
%       \affaddr{P.O. Box 5000}\\
%       \email{lleipuner@researchlabs.org}
%% 5th. author
%\alignauthor Sean Fogarty\\
%       \affaddr{NASA Ames Research Center}\\
%       \affaddr{Moffett Field}\\
%       \affaddr{California 94035}\\
%       \email{fogartys@amesres.org}
%% 6th. author
%\alignauthor Charles Palmer\\
%       \affaddr{Palmer Research Laboratories}\\
%       \affaddr{8600 Datapoint Drive}\\
%       \affaddr{San Antonio, Texas 78229}\\
%       \email{cpalmer@prl.com}
%}
% There's nothing stopping you putting the seventh, eighth, etc.
% author on the opening page (as the 'third row') but we ask,
% for aesthetic reasons that you place these 'additional authors'
% in the \additional authors block, viz.
%\additionalauthors{Additional authors: John Smith (The Th{\o}rv{\"a}ld Group,
%email: {\texttt{jsmith@affiliation.org}}) and Julius P.~Kumquat
%(The Kumquat Consortium, email: {\texttt{jpkumquat@consortium.net}}).}
%\date{30 July 1999}
% Just remember to make sure that the TOTAL number of authors
% is the number that will appear on the first page PLUS the
% number that will appear in the \additionalauthors section.

\maketitle
\begin{abstract}
As security requirements of software often change, developers may modify security policies such as access control policies (policies in short) according to evolving requirements. To increase confidence that the modification of policies is correct, developers conduct regression testing. However, rerunning all of existing system test cases could be costly and time-consuming. To address this issue, we develop a regression-test-selection approach, which selects every system test case that may reveal regression faults caused by policy changes.
Our evaluation results show that our test-selection approach reduces a substantial number of system test cases efficiently.
\end{abstract}

% A category with the (minimum) three required fields
%\category{D.2.3}{Software Engineering}{Coding Tools and Techniques}
%%A category including the fourth, optional field follows...
%\vspace{-6pt}
%\category{D.2.5}{Software Engineering}{Testing and Debugging}[Testing tools]
\vspace{10pt}
\noindent\textbf{Categories and Subject Descriptors:} D.2.5 [Software Engineering]: Testing and Debugging\\
\textbf{General Terms:} Security, Reliability\\
\textbf{Keywords:} Security Policy; Regression Testing; Test Selection

%\vspace{-7pt}
%\terms{Security, Reliability}
%\vspace{-7pt}
%\keywords{Security Policy; Regression Testing; Test Selection} % NOT required for Proceedings

\input{intro} % 80% done
\input{background}
\input{approach}
%\input{implementation}
\input{experiment}
\input{related}
\input{conclusion}


%ACKNOWLEDGMENTS are optional
\section{Acknowledgments}
%\vspace{7pt}
%\textbf{Acknowledgments.}
This work is supported in part by NSF grants CCF-0845272, CCF-0915400, CNS-0958235, ARO grant W911NF-08-1-0443, an NSA Science of Security Lablet grant, and a NIST grant.
%\vspace{-0pt}
%This section is optional; it is a location for you
%to acknowledge grants, funding, editing assistance and
%what have you.  In the present case, for example, the
%authors would like to thank Gerald Murray of ACM for
%his help in codifying this \textit{Author's Guide}
%and the \textbf{.cls} and \textbf{.tex} files that it describes.

%
% The following two commands are all you need in the
% initial runs of your .tex file to
% produce the bibliography for the citations in your paper.

 
\bibliographystyle{abbrv}
%\scriptsize
\begin{thebibliography}{1}
\vspace{7pt}
\bibitem{oasis05:xacml}
{OASIS eXtensible Access Control Markup Language (XACML)}.
\newblock \url{http://www.oasis-open.org/committees/xacml/}, 2005.

\bibitem{fisler05:verification}
K.~Fisler, S.~Krishnamurthi, L.~A. Meyerovich, and M.~C. Tschantz.
\newblock Verification and change-impact analysis of access-control policies.
\newblock In {\em Proc. International Conference on Software Engineering
  (ICSE)}, pages 196--205, 2005.

\bibitem{Graves:2001:ESR:367008.367020}
T.~L. Graves, M.~J. Harrold, J.-M. Kim, A.~Porter, and G.~Rothermel.
\newblock An empirical study of regression test selection techniques.
\newblock {\em ACM Trans. Softw. Eng. Methodol.}, pages 184--208, 2001.

\bibitem{liu08:xengine}
A.~X. Liu, F.~Chen, J.~Hwang, and T.~Xie.
\newblock {XEngine}: A fast and scalable {XACML} policy evaluation engine.
\newblock In {\em Proc. International Conference on Measurement and Modeling of
  Computer Systems (SIGMETRICS)}, pages 265--276, 2008.

\bibitem{mouelhi09:tranforming}
T.~Mouelhi, Y.~Le~Traon, and B.~Baudry.
\newblock Transforming and selecting functional test cases for security policy
  testing.
\newblock In {\em Proc. International Conference on Software Testing,
  Verification, and Validation (ICST)}, pages 171--180, 2009.

\bibitem{Rothermel:1996:ART:235681.235682}
G.~Rothermel and M.~J. Harrold.
\newblock Analyzing regression test selection techniques.
\newblock {\em IEEE Trans. Softw. Eng.}, 22:529--551, 1996.

\end{thebibliography}

%\vspace{20pt}
%\footnotesize
%\bibliography{yangtse,yangtse2}  % sigproc.bib is the name of the Bibliography in this case


% You must have a proper ".bib" file
%  and remember to run:
% latex bibtex latex latex
% to resolve all references
%
% ACM needs 'a single self-contained file'!
%
%APPENDICES are optional
%\balancecolumns
%\appendix
%%Appendix A
%\section{Headings in Appendices}
%The rules about hierarchical headings discussed above for
%the body of the article are different in the appendices.
%In the \textbf{appendix} environment, the command
%\textbf{section} is used to
%indicate the start of each Appendix, with alphabetic order
%designation (i.e. the first is A, the second B, etc.) and
%a title (if you include one).  So, if you need
%hierarchical structure
%\textit{within} an Appendix, start with \textbf{subsection} as the
%highest level. Here is an outline of the body of this
%document in Appendix-appropriate form:
%\subsection{Introduction}
%\subsection{The Body of the Paper}
%\subsubsection{Type Changes and  Special Characters}
%\subsubsection{Math Equations}
%\paragraph{Inline (In-text) Equations}
%\paragraph{Display Equations}
%\subsubsection{Citations}
%\subsubsection{Tables}
%\subsubsection{Figures}
%\subsubsection{Theorem-like Constructs}
%\subsubsection*{A Caveat for the \TeX\ Expert}
%\subsection{Conclusions}
%\subsection{Acknowledgments}
%\subsection{Additional Authors}
%This section is inserted by \LaTeX; you do not insert it.
%You just add the names and information in the
%\texttt{{\char'134}additionalauthors} command at the start
%of the document.
%\subsection{References}
%Generated by bibtex from your ~.bib file.  Run latex,
%then bibtex, then latex twice (to resolve references)
%to create the ~.bbl file.  Insert that ~.bbl file into
%the .tex source file and comment out
%the command \texttt{{\char'134}thebibliography}.
%% This next section command marks the start of
%% Appendix B, and does not continue the present hierarchy
%\section{More Help for the Hardy}
%The acm\_proc\_article-sp document class file itself is chock-full of succinct
%and helpful comments.  If you consider yourself a moderately
%experienced to expert user of \LaTeX, you may find reading
%it useful but please remember not to change it.
\balancecolumns
% That's all folks!
\end{document}
